<!DOCTYPE HTML>
<html>
<head>
<title>/</title>
<link rel="stylesheet" type="text/css" href="index.css">
<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap">
<script src="index.js">
</script>
<meta charset="UTF-8">
</head>
<body>
<div class="nav-bar">
<img class="dhall-icon" alt="Dhall logo." src="dhall-icon.svg">
<p class="package-title">test-package</p>
<div class="nav-bar-content-divider">
</div>
<a id="switch-light-dark-mode" class="nav-option">Switch Light/Dark Mode</a>
</div>
<div class="main-container">
<h2 class="doc-title">
<span class="crumb-divider">/</span>
<a href="index.html">test-package</a>
<span class="crumb-divider">/</span>
<span class="title-crumb" href="index.html">
</span>
</h2>
<a class="copy-to-clipboard" data-path="/">
<i>
<small>Copy path to clipboard</small>
</i>
</a>
<br>
<h3>Exported files: </h3>
<ul>
<li>
<a href="AsText.dhall.html">AsText.dhall</a>
</li>
<li>
<a href="ImportAsType.dhall.html">ImportAsType.dhall</a>
<span class="of-type-token">:</span>
<span class="dhall-type source-code">
<pre>
<a href="./MarkdownExample.dhall.html">./MarkdownExample.dhall</a>
<br>
</pre>
</span>
</li>
<li>
<a href="InvalidBlockComment.dhall.html">InvalidBlockComment.dhall</a>
</li>
<li>
<a href="InvalidConsecutiveComments.dhall.html">InvalidConsecutiveComments.dhall</a>
</li>
<li>
<a href="InvalidMarkdown.dhall.html">InvalidMarkdown.dhall</a>
</li>
<li>
<a href="InvalidMarkdownFile.md.html">InvalidMarkdownFile.md</a>
</li>
<li>
<a href="JumpToDefOnUnused.dhall.html">JumpToDefOnUnused.dhall</a>
</li>
<li>
<a href="JumpToHereImports.dhall.html">JumpToHereImports.dhall</a>
</li>
<li>
<a href="JumpToLamBindingComplex.dhall.html">JumpToLamBindingComplex.dhall</a>
</li>
<li>
<a href="JumpToLamBindingSimple.dhall.html">JumpToLamBindingSimple.dhall</a>
</li>
<li>
<a href="JumpToLamBindingWithIndex.dhall.html">JumpToLamBindingWithIndex.dhall</a>
</li>
<li>
<a href="JumpToLamBindingWithQuotes.dhall.html">JumpToLamBindingWithQuotes.dhall</a>
</li>
<li>
<a href="JumpToLamBindingWithShadowing.dhall.html">JumpToLamBindingWithShadowing.dhall</a>
</li>
<li>
<a href="JumpToLetBindingSimple.dhall.html">JumpToLetBindingSimple.dhall</a>
</li>
<li>
<a href="JumpToLetBindingWithIndex.dhall.html">JumpToLetBindingWithIndex.dhall</a>
</li>
<li>
<a href="JumpToLetBindingWithQuotes.dhall.html">JumpToLetBindingWithQuotes.dhall</a>
</li>
<li>
<a href="JumpToLetBindingWithShadowing.dhall.html">JumpToLetBindingWithShadowing.dhall</a>
</li>
<li>
<a href="JumpToLetbindingComplex.dhall.html">JumpToLetbindingComplex.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenFieldDoesNotExist.dhall.html">JumpToRecordFieldWhenFieldDoesNotExist.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html">JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html">JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsOfRecordType.dhall.html">JumpToRecordFieldWhenVarIsOfRecordType.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html">JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html">JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html">JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html">JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html">JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall</a>
</li>
<li>
<a href="JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html">JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall</a>
</li>
<li>
<a href="JumpToSelf.dhall.html">JumpToSelf.dhall</a>
</li>
<li>
<a href="JumpToUrls.dhall.html">JumpToUrls.dhall</a>
</li>
<li>
<a href="MarkdownExample.dhall.html">MarkdownExample.dhall</a>
</li>
<li>
<a href="MarkdownFile.md.html">MarkdownFile.md</a>
</li>
<li>
<a href="MultilineIndentationExample.dhall.html">MultilineIndentationExample.dhall</a>
<span class="of-type-token">:</span>
<span class="dhall-type source-code">
<pre>{}<br>
</pre>
</span>
</li>
<li>
<a href="NoDoc.dhall.html">NoDoc.dhall</a>
</li>
<li>
<a href="NonDhallDocsCommentAfterValid.dhall.html">NonDhallDocsCommentAfterValid.dhall</a>
</li>
<li>
<a href="OrdinaryAnnotation.dhall.html">OrdinaryAnnotation.dhall</a>
<span class="of-type-token">:</span>
<span class="dhall-type source-code">
<pre>Natural<br>
</pre>
</span>
</li>
<li>
<a href="Pair.dhall.html">Pair.dhall</a>
<span class="of-type-token">:</span>
<span class="dhall-type source-code">
<pre>∀(A : Type) → ∀(B : Type) → Type<br>
</pre>
</span>
</li>
<li>
<a href="Plain.txt.html">Plain.txt</a>
</li>
<li>
<a href="RenderTypeIndexesExample.dhall.html">RenderTypeIndexesExample.dhall</a>
<span class="of-type-token">:</span>
<span class="dhall-type source-code">
<pre>Bool<br>
</pre>
</span>
</li>
<li>
<a href="StandaloneTextFile.txt.html">StandaloneTextFile.txt</a>
</li>
<li>
<a href="TwoAnnotations.dhall.html">TwoAnnotations.dhall</a>
<span class="of-type-token">:</span>
<span class="dhall-type source-code">
<pre>y<br>
</pre>
</span>
</li>
<li>
<a href="package.dhall.html">package.dhall</a>
</li>
</ul>
<h3>Exported packages: </h3>
<ul>
<li>
<a href="a/index.html">a/</a>
</li>
</ul>
</div>
</body>
</html>